#select#\succcurlyeq#insertion#
